предикат второго порядка

См. также в других словарях:

• Предикат — Эта статья или раздел нуждается в переработке. Пожалуйста, улучшите статью в соответствии с правилами написания статей. У этого термина …   Википедия

• Предикат — (от позднелат. praedicatum  сказанное)  термин логики и языкознания, обозначающий конститутивный член суждения  то, что высказывается (утверждается или отрицается) о субъекте. Предикат находится к субъекту в предикативном отношении (см.… …   Лингвистический энциклопедический словарь

• ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

• моделей теория —         МОДЕЛЕЙ ТЕОРИЯ раздел математической логики, в котором изучаются фундаментальные связи между синтаксическими свойствами предложений формального языка и семантическими свойствами их моделей.         Наиболее развитой является М. т. формул… …   Энциклопедия эпистемологии и философии науки

• Предикаты — Предикатом называется любое математическое предложение, в котором есть по меньшей мере одна переменная. Предикат (n местный, или n арный)  это функция с множеством значений {0,1} (или «Ложь» и «Истина»), определённая на n й декартовой степени… …   Википедия

• Класс PH — В теории алгоритмов классом сложности PH (от англ. polynomial hierarchy) называется объединение всех классов сложности из полиномиальной иерархии: Таким образом, предикат принадлежит классу PH, если существует такое k, что предикат принадлежит… …   Википедия

• ЦЕННОСТЬ — отношение между представлением субъекта о том, каким должен быть оцениваемый объект, и самим объектом. Если объект соответствует предъявляемым к нему требованиям (является таким, каким он должен быть), он считается хорошим, или позитивно ценным;… …   Философская энциклопедия

• Список статей по математической логике —   Это служебный список статей, созданный для координации работ по развитию темы.   Данное предупреждение не ус …   Википедия

• ЛОГИКА — (от греч. logos слово, понятие, рассуждение, разум), или Формальная логика, наука о законах и операциях правильного мышления. Согласно основному принципу Л., правильность рассуждения (вывода) определяется только его логической формой, или… …   Философская энциклопедия

• ИДЕЯ —     ИДЕЯ (греч. ἡ ἰδέα от εἴδω, inf. ἰδεῖν видеть; ср. с этимологически родственным «эйдос», τὸ εἶδος), букв, значение: внешний вид, внешность, наружность; один из основных терминов древнегреческой философии.     Термин ΙΔΕΑ до Платона.… …   Античная философия

• Пропозиция — Пропозиция  семантический инвариант, общий для всех членов модальной и коммуникативной парадигм предложений и производных от предложения конструкций (номинализаций). Термин «пропозиция» восходит к лат. propositio, первоначально обозначавшему в… …   Лингвистический энциклопедический словарь